The Diophantine Problem for Polynomial Rings and Fields of Rational Functions1
نویسندگان
چکیده
We prove that the diophantine problem for a ring of polynomials over an integral domain of characteristic zero or for a field of rational functions over a formally real field is unsolvable.
منابع مشابه
Extensions of Hilbert's Tenth Problem
Lectures Two types of lectures were programmed into the schedule. First there were a number of introductory lectures which were were meant to introduce non-specialist into the area of Hilbert’s Tenth Problem. Since quite a few of the participants came from different backgrounds this was an ideal way to get a feeling of the problems which come up in this area of mathematics. The second type of l...
متن کاملOn Existential Definitions of C.e. Subsets of Rings of Functions of Characteristic 0
We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2) Every c.e. set of integers has a finite-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (3) All c.e. s...
متن کاملOn the Diophantine Equation x^6+ky^3=z^6+kw^3
Given the positive integers m,n, solving the well known symmetric Diophantine equation xm+kyn=zm+kwn, where k is a rational number, is a challenge. By computer calculations, we show that for all integers k from 1 to 500, the Diophantine equation x6+ky3=z6+kw3 has infinitely many nontrivial (y≠w) rational solutions. Clearly, the same result holds for positive integers k whose cube-free part is n...
متن کاملDefining Integrality at Prime Sets of High Density in Number Fields
1. Introduction. Interest in the questions of Diophantine definability and decid-ability goes back to a question that was posed by Hilbert: Given an arbitrary polynomial equation in several variables over Z, is there a uniform algorithm to determine whether such an equation has solutions in Z? This question, otherwise known as Hilbert's tenth problem, has been answered negatively in the work of...
متن کاملOn Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
Let M be a number field. Let W be a set of non-archimedean primes of M . Let OM,W = {x ∈ M | ordpx ≥ 0∀p 6∈ W}. The author continues her investigation of Diophantine definability and decidability in rings OM,W where W is infinite. In this paper she improves her previous density estimates and extends the results to the totally complex extensions of degree 2 of the totally real fields. In particu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010